Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۴۲ ثانیه یافت شد.
1. Closure properties and kripke models for fragments of heyting arithmetic
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
by: Morteza Moniri,^AMoniri, Morteza
کتابخانه:
Library of Institute for Research in Fundamental Sciences
(
Tehran
)
موضوع :
Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
رده :
»
1
«
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal